home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / quintus / quintus0.lha / work / compile.in < prev    next >
Text File  |  1992-04-03  |  66b  |  4 lines
  1. load_files('prover_2.06.2').
  2. save_program('compile.out.1').
  3. halt.
  4.